Parallel Program and Asynchronous Circuit Design

نویسندگان

  • Jo C Ebergen
  • John Segers
  • Igor Benko
  • Alan M Turing
چکیده

Asynchronous circuit design is a beautiful application area for any formalism that can reason about parallelism By means of two small but challenging exercises we illustrate the similarities and di erences between parallel program and asynchronous circuit design The exercises are simple to state and have many solutions which are sometimes surprisingly e cient They all illustrate many aspects of asynchronous circuit design For each exercise we present several solutions which are analyzed with respect to delay assumptions safety progress and performance issues We also mention some open problems This work is supported by the Natural Sciences and Engineering Research Council of Canada under grant OGP and by a grant from the Information Technology Research Centre of Ontario These notes are a revision of the lectures presented at the BANFF VII Workshop on Asynchronous Hardware Design August Sept Ebergen Segers Benko

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Specication of a Microprocessor

The action system framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specied as a sequential program. The sequential specication is then rened into a concurrent program using correctness-preserving program transformations. Previously a similar derivation was carried out informally within the CSP-framework at Caltech, where also a ...

متن کامل

A Programming Approach to the Design of Asynchronous Logic Blocks

Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchronous logic block is to interact with its environment. Using the tool di2pn, such a specification can be automatically translated into a Petri net. Using the tool petrify, the net can be automatically validated (for freedom from...

متن کامل

An Action System Speci cation of the CaltechAsynchronous

The action system framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is speciied as a sequential program. The sequential specii-cation is then decomposed and reened into a concurrent program using correctness-preserving program transformations. Previously this microprocessor has been speciied in a semi-formal manner at Caltech, where...

متن کامل

A new asynchronous parallel global optimization method based on simulated annealing and differential evolution

This paper presents a new asynchronous parallel global optimization method and its application to the automated device sizing in analog integrated circuit (IC) design. The method is based on the simulated annealing algorithm (SA), but incorporates features from differential evolution (DE) to improve the sampling efficiency and avoid the problems involved with the cooling schedule selection. A s...

متن کامل

Design of power-efficient adiabatic charging circuit in 0.18μm CMOS technology

In energy supply applications for low-power sensors, there are cases where energy should be transmitted from a low-power battery to an output stage load capacitor. This paper presents an adiabatic charging circuit with a parallel switches approach that connects to a low-power battery and charges the load capacitor using a buck converter which operates in continuous conduction mode (CCM). A gate...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002